Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
991	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
992	Expressing User Access Authorization Exceptions in Conventional Role-based Access Control Xiaofan Liu1,2 , Natasha Alechina1 , and Brian Logan1 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:58:51 Role-based access control Role hierarchy PERMIS NIST RBAC model Mandatory access control Filesystem permissions Modal logic Datalog Computer security Security Access control
993	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
994	LNAI[removed]Syntax and Semantics for Business Rules Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:46:37 Predicate logic Metalogic Data modeling Semantics of Business Vocabulary and Business Rules Unified Modeling Language Modal logic Quantification First-order logic Deontic logic Logic Mathematical logic Philosophical logic
995	AlechinaBalbianiShkatov.dvi Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:17:42 Model theory Philosophical logic Modal logic Non-classical logic Interpretation First-order logic Partition Logic Mathematics Mathematical logic
996	Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:44 Modal logic Entailment Combinatory logic Logic Artificial intelligence Epistemic modal logic
997	13 Epistemic Justication, Normative Guidance, and Knowledge ∗ A RTURS L OGINS Abstract. Recently, Pascal Engel has defended a version of a compatibilist Add to Reading List Source URL: www.unige.ch Language: English - Date: 2014-11-07 16:16:07 Internalism and externalism Evidentialism Externalism Analytic philosophy Norm Reason Modal logic Reliabilism Theory of justification Philosophy Justification Epistemology
998	Reasoning about other agents’ beliefs under bounded resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Epistemic modal logic Logic Constructible universe Mathematical logic Modal logic Artificial intelligence
999	Modal Quantifiers Natasha Alechina Modal Quantifiers Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:38:45 Philosophical logic Model theory Logicians Quantification First-order logic Johan van Benthem Institute for Logic Language and Computation Logic Mathematical logic Predicate logic
1000	Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-17 10:30:30 Linear temporal logic Mathematical logic Logic Norm Modal logic